<!DOCTYPE html>
            
<HTML>
<HEAD>
<meta name="booktitle" content="Developing Applications With Objective Caml" >
 <meta charset="ISO-8859-1"><meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=0">
<META name="GENERATOR" content="hevea 1.05-7 of 2000-02-24">
<META NAME="Author" CONTENT="Christian.Queinnec@lip6.fr">
<LINK rel=stylesheet type="text/css" href="videoc-ocda.css">
<script language="JavaScript" src="videoc.js"><!--
//--></script>
<TITLE>
 To Learn More
</TITLE>
</HEAD>
<BODY class="regularBody">
<A HREF="book-ora135.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Contents"></A>
<A HREF="book-ora138.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
<HR>

<H2> To Learn More</H2>Other examples of modules and functors can be found in chapter 4 of
the Objective Caml manual.<BR>
<BR>
The underlying theory and the type checking for modules can be found
in a number of research articles and course notes by Xavier Leroy, at


<H3> Link </H3> <HR>

<A HREF="http://cristal.inria.fr/~xleroy">http://cristal.inria.fr/~xleroy</A>


<HR>

<BR>
<BR>
The Objective CAML module system follows the same principles as that of
its cousin the SML language. Chapter <A HREF="index.html#chap-Devel">22</A>
compares these two languages in more details and provides
bibliographical references for the interested reader.<BR>
<BR>
Other languages feature advanced module systems, in particular
Modula-3 (2 and 3), and ADA. They support the definition of modules
parameterized by types and values.<BR>
<BR>

<BR>
<BR>

<BR>
<BR>
<BR>
<BR>
<HR>
<A HREF="book-ora135.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Contents"></A>
<A HREF="book-ora138.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
